Exo1<EK> MGI:5523450 http://identifiers.org/mgd/MGI:5523450 targeted mutation 3.1, Winfried Edelmann Exo1<tm3.1Wed> Humanized sequence